conversion of propositions